аксиома фундирования

См. также в других словарях:

• Аксиома фундирования — …   Википедия

• Аксиома регулярности — Аксиомой регулярности (иначе аксиомой фундирования, аксиомой основания) называется следующее высказывание теории множеств: , где Словесная формулировка: В любом непустом семействе множеств есть множество , каждый элемент …   Википедия

• Порядковое число — Порядковое число, ординал (лат. ordinalis порядковый) или трансфинитное число (лат. trans за, через + finitio край, предел) в теории множеств  некоторое обобщение понятия натурального числа «за пределы бесконечности». Впервые… …   Википедия

• Ординал — Порядковое число, или трансфинитное число, или ординал в теории множеств  некоторое обобщение понятия натурального числа «за пределы бесконечности». Впервые введены Георгом Кантором в 1897 году с целью классификации вполне упорядоченных множеств …   Википедия

• Мириманов — Мириманов, Дмитрий Семёнович Дмитрий Семёнович Мириманов (13 сентября 1861(18610913), Переславль Залесский  5 января 1945, Женева)  швейцарский математик русского происхождения, известен трудами по теории множеств. Ввёл в… …   Википедия

• Мириманов, Дмитрий Семёнович — Дмитрий Семёнович Мириманов Дата рождения: 13 сентября 1861(1861 09 13) Место рождения: Переславль Залесский, Владимирская губерния Дата смерти: 5 января 1945 …   Википедия

• АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… …   Математическая энциклопедия

• ТЕОРИЯ МНОЖЕСТВ — теория, в к рой изучаются множества (классы) элементов произвольной природы. Созданная прежде всего трудами Кантора (а также Р. Дедекинда и К. Вейерштрасса), Т. м. к концу 19 в. стала основой построения сложившихся к тому времени математич.… …   Философская энциклопедия